(define (problem tyre-replacement)
    (:domain tyre-replacement)
    (:objects
        jack - jack
        pump - pump
        wrench - wrench
        boot - container
        hub1 hub2 hub3 hub4 hub5 hub6 hub7 hub8 hub9 hub10 - hub
        nut1 nut2 nut3 nut4 nut5 nut6 nut7 nut8 nut9 nut10 - nut
        flatTyre1 flatTyre2 flatTyre3 flatTyre4 flatTyre5 flatTyre6 flatTyre7 flatTyre8 flatTyre9 flatTyre10 - flatTyre
        intactTyre1 intactTyre2 intactTyre3 intactTyre4 intactTyre5 intactTyre6 intactTyre7 intactTyre8 intactTyre9 intactTyre10 - intactTyre
    )
    (:init
        (has jack)
        (inside jack boot)
        (has pump)
        (inside pump boot)
        (has wrench)
        (inside wrench boot)
        (unlocked boot)
        (closed boot)
        (not-inflated intactTyre1)
        (inside intactTyre1 boot)
        (not-inflated intactTyre2)
        (inside intactTyre2 boot)
        (not-inflated intactTyre3)
        (inside intactTyre3 boot)
        (not-inflated intactTyre4)
        (inside intactTyre4 boot)
        (not-inflated intactTyre5)
        (inside intactTyre5 boot)
        (not-inflated intactTyre6)
        (inside intactTyre6 boot)
        (not-inflated intactTyre7)
        (inside intactTyre7 boot)
        (not-inflated intactTyre8)
        (inside intactTyre8 boot)
        (not-inflated intactTyre9)
        (inside intactTyre9 boot)
        (not-inflated intactTyre10)
        (inside intactTyre10 boot)
        (on-ground hub1)
        (on-ground hub2)
        (on-ground hub3)
        (on-ground hub4)
        (on-ground hub5)
        (on-ground hub6)
        (on-ground hub7)
        (on-ground hub8)
        (on-ground hub9)
        (on-ground hub10)
        (tight nut1)
        (tight nut2)
        (tight nut3)
        (tight nut4)
        (tight nut5)
        (tight nut6)
        (tight nut7)
        (tight nut8)
        (tight nut9)
        (tight nut10)
        (fastened hub1)
        (fastened hub2)
        (fastened hub3)
        (fastened hub4)
        (fastened hub5)
        (fastened hub6)
        (fastened hub7)
        (fastened hub8)
        (fastened hub9)
        (fastened hub10)
        (on hub1 flatTyre1)
        (on hub2 flatTyre2)
        (on hub3 flatTyre3)
        (on hub4 flatTyre4)
        (on hub5 flatTyre5)
        (on hub6 flatTyre6)
        (on hub7 flatTyre7)
        (on hub8 flatTyre8)
        (on hub9 flatTyre9)
        (on hub10 flatTyre10)
    )
    (:goal (and
        (inside flatTyre1 boot)
        (inside flatTyre2 boot)
        (inside flatTyre3 boot)
        (inside flatTyre4 boot)
        (inside flatTyre5 boot)
        (inside flatTyre6 boot)
        (inside flatTyre7 boot)
        (inside flatTyre8 boot)
        (inside flatTyre9 boot)
        (inside flatTyre10 boot)
        (inside wrench boot)
        (inside jack boot)
        (inside pump boot)
        (closed boot)
        (tight nut1)
        (tight nut2)
        (tight nut3)
        (tight nut4)
        (tight nut5)
        (tight nut6)
        (tight nut7)
        (tight nut8)
        (tight nut9)
        (tight nut10)
        (on hub1 intactTyre1)
        (on hub2 intactTyre2)
        (on hub3 intactTyre3)
        (on hub4 intactTyre4)
        (on hub5 intactTyre5)
        (on hub6 intactTyre6)
        (on hub7 intactTyre7)
        (on hub8 intactTyre8)
        (on hub9 intactTyre9)
        (on hub10 intactTyre10)
        (inflated intactTyre1)
        (inflated intactTyre2)
        (inflated intactTyre3)
        (inflated intactTyre4)
        (inflated intactTyre5)
        (inflated intactTyre6)
        (inflated intactTyre7)
        (inflated intactTyre8)
        (inflated intactTyre9)
        (inflated intactTyre10)
    ))
)